Schiex, T. : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (68)
Les plus populaires
Liste
- Liste
- Tableau

1

Computational protein design as an optimization problem

Allouche, David, André, Isabelle, Barbe, Sophie, Davies, Jessica, de Givry, Simon, Katsirelos, George, O'Sullivan, Barry, Prestwich, Steve, Schiex, Thomas, Traoré, Seydou

Journal:

Artificial Intelligence

Année:

2014

Langue:

english

Fichier:

PDF, 779 KB

english, 2014

2

Solving weighted CSP by maintaining arc consistency

Javier Larrosa, Thomas Schiex

Journal:

Artificial Intelligence

Année:

2004

Langue:

english

Fichier:

PDF, 353 KB

english, 2004

3

Arc consistency for soft constraints

Martin Cooper, Thomas Schiex

Journal:

Artificial Intelligence

Année:

2004

Langue:

english

Fichier:

PDF, 370 KB

english, 2004

4

On the merging of Dung's argumentation systems

Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis

Journal:

Artificial Intelligence

Année:

2007

Langue:

english

Fichier:

PDF, 341 KB

english, 2007

5

Maintaining reversible DAC for Max-CSP

Javier Larrosa, Pedro Meseguer, Thomas Schiex

Journal:

Artificial Intelligence

Année:

1999

Langue:

english

Fichier:

PDF, 1000 KB

english, 1999

6

Soft arc consistency revisited

M.C. Cooper, S. de Givry, M. Sanchez, T. Schiex, M. Zytnicki, T. Werner

Journal:

Artificial Intelligence

Année:

2010

Langue:

english

Fichier:

PDF, 735 KB

english, 2010

7

Nonmonotonic reasoning: from complexity to algorithms

C. Cayrol, M.‐C. Lagasquie‐Schiex, T. Schiex

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

1998

Langue:

english

Fichier:

PDF, 359 KB

english, 1998

8

Contribution of Radiation Hybrids to Genome Mapping in Domestic Animals

Faraut, T., de Givry, S., Hitte, C., Lahbib-Mansais, Y., Morisson, M., Milan, D., Schiex, T., Servin, B., Vignal, A., Galibert, F., Yerle, M.

Journal:

Cytogenetic and Genome Research

Année:

2009

Langue:

english

Fichier:

PDF, 1.04 MB

english, 2009

9

Genome Annotation in Plants and Fungi: EuGene as a Model Platform

Foissac, Sylvain, Gouzy, Jerome, Rombauts, Stephane, Mathe, Catherine, Amselem, Joelle, Sterck, Lieven, de Peer, Yves, Rouze, Pierre, Schiex, Thomas

Journal:

Current Bioinformatics

Année:

2008

Langue:

english

Fichier:

PDF, 374 KB

english, 2008

10

Tractability-preserving transformations of global cost functions

Allouche, David, Bessiere, Christian, Boizumault, Patrice, de Givry, Simon, Gutierrez, Patricia, Lee, Jimmy H.M., Leung, Ka Lun, Loudni, Samir, Métivier, Jean-Philippe, Schiex, Thomas, Wu, Yi

Journal:

Artificial Intelligence

Année:

2016

Langue:

english

Fichier:

PDF, 737 KB

english, 2016

11

Logical theories and abstract argumentation: AÂ survey of existing works

Besnard, Philippe, Cayrol, Claudette, Lagasquie-Schiex, Marie-Christine, Toni, Francesca

Journal:

Argument & Computation

Année:

2020

Fichier:

PDF, 694 KB

2020

12

On bipolarity in argumentation frameworks

L. Amgoud, C. Cayrol, M. C. Lagasquie-Schiex, P. Livet

Journal:

International Journal of Intelligent Systems

Année:

2008

Langue:

english

Fichier:

PDF, 252 KB

english, 2008

13

Coalitions of arguments: A tool for handling bipolar argumentation frameworks

Claudette Cayrol, Marie-Christine Lagasquie-Schiex

Journal:

International Journal of Intelligent Systems

Année:

2010

Langue:

english

Fichier:

PDF, 198 KB

english, 2010

14

Dependencies between players in Boolean games

Elise Bonzon, Marie-Christine Lagasquie-Schiex, Jérôme Lang

Journal:

International Journal of Approximate Reasoning

Année:

2009

Langue:

english

Fichier:

PDF, 1.22 MB

english, 2009

15

Rearranged gene order between pig and human in a QTL region on SSC 7

Olivier Demeure, Christine Renard, Martine Yerle, Thomas Faraut, Juliette Riquet, Annie Robic, Thomas Schiex, Anette Rink, Denis Milan

Journal:

Mammalian Genome

Année:

2003

Langue:

english

Fichier:

PDF, 250 KB

english, 2003

16

Compact preference representation and Boolean games

Elise Bonzon, Marie-Christine Lagasquie-Schiex, Jérôme Lang, Bruno Zanuttini

Journal:

Autonomous Agents and Multi-Agent Systems

Année:

2009

Langue:

english

Fichier:

PDF, 680 KB

english, 2009

17

DARN! A Weighted Constraint Solver for RNA Motif Localization

Matthias Zytnicki, Christine Gaspin, Thomas Schiex

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 1.18 MB

english, 2008

18

Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques

Marti Sanchez, Simon de Givry, Thomas Schiex

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 783 KB

english, 2008

19

Introduction to the special issue on Constraint-based approaches to Preference Modelling and Reasoning

Pedro Meseguer, Francesca Rossi, Thomas Schiex

Journal:

Année:

2010

Langue:

english

Fichier:

PDF, 111 KB

english, 2010

20

Introduction to a Benchmark Column in CONSTRAINTS

Claude Le Pape, James Crawford, Barry Fox, Thomas Schiex

Journal:

Année:

1998

Langue:

english

Fichier:

PDF, 19 KB

english, 1998

21

Radio Link Frequency Assignment

B. Cabon, S. de Givry, L. Lobjois, T. Schiex, J.P. Warners

Journal:

Année:

1999

Langue:

english

Fichier:

PDF, 70 KB

english, 1999

22

Generating possible intentions with constrained argumentation systems

Leila Amgoud, Caroline Devred, Marie-Christine Lagasquie-Schiex

Journal:

International Journal of Approximate Reasoning

Année:

2011

Langue:

english

Fichier:

PDF, 588 KB

english, 2011

23

Integrating alternative splicing detection into gene prediction

Sylvain Foissac, Thomas Schiex

Journal:

BMC Bioinformatics

Année:

2005

Langue:

english

Fichier:

PDF, 348 KB

english, 2005

24

LeARN: a platform for detecting, clustering and annotating non-coding RNAs

Céline Noirot, Christine Gaspin, Thomas Schiex, Jérôme Gouzy

Journal:

BMC Bioinformatics

Année:

2008

Langue:

english

Fichier:

PDF, 2.30 MB

english, 2008

25

High resolution radiation hybrid maps of bovine chromosomes 19 and 29: comparison with the bovine genome sequence assembly

Aparna Prasad, Thomas Schiex, Stephanie McKay, Brenda Murdoch, Zhiquan Wang, James E Womack, Paul Stothard, Stephen S Moore

Journal:

Année:

2007

Langue:

english

Fichier:

PDF, 1.99 MB

english, 2007

26

Analysis of CATMA transcriptome data identifies hundreds of novel functional genes and improves gene models in the Arabidopsis genome

Sébastien Aubourg, Marie-Laure Martin-Magniette, Véronique Brunaud, Ludivine Taconnat, Frédérique Bitton, Sandrine Balzergue, Pauline E Jullien, Mathieu Ingouff, Vincent Thareau, Thomas Schiex, Alain

Journal:

Année:

2007

Langue:

english

Fichier:

PDF, 2.97 MB

english, 2007

27

Detecting long tandem duplications in genomic sequences

Eric Audemard, Thomas Schiex, Thomas Faraut

Journal:

BMC Bioinformatics

Année:

2012

Langue:

english

Fichier:

PDF, 403 KB

english, 2012

28

ARGUMENTATION AND CP-BOOLEAN GAMES

BONZON, ELISE, DEVRED, CAROLINE, LAGASQUIE-SCHIEX, MARIE-CHRISTINE

Journal:

International Journal of Artificial Intelligence Tools

Année:

2010

Langue:

english

Fichier:

PDF, 288 KB

english, 2010

29

Effectivity functions and efficient coalitions in Boolean games

Elise Bonzon, Marie-Christine Lagasquie-Schiex, Jérôme Lang

Journal:

Année:

2012

Langue:

english

Fichier:

PDF, 411 KB

english, 2012

30

Bipolarity in argumentation graphs: Towards a better understanding

Cayrol, Claudette, Lagasquie-Schiex, Marie-Christine

Journal:

International Journal of Approximate Reasoning

Année:

2013

Langue:

english

Fichier:

PDF, 2.90 MB

english, 2013

31

A new framework for computational protein design through cost function network optimization

Traore, S., Allouche, D., Andre, I., de Givry, S., Katsirelos, G., Schiex, T., Barbe, S.

Journal:

Année:

2013

Langue:

english

Fichier:

PDF, 333 KB

english, 2013

32

EuGene-PP: a next-generation automated annotation pipeline for prokaryotic genomes

Sallet, E., Gouzy, J., Schiex, T.

Journal:

Année:

2014

Langue:

english

Fichier:

PDF, 203 KB

english, 2014

33

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Translation of an Argumentation Framework into a CP-Boolean Game

Bonzon, E., Devred, C., Lagasquie-Schiex, M.-C.

Année:

2009

Langue:

english

Fichier:

PDF, 303 KB

english, 2009

34

[IEEE Comput. Soc. Press 1993 IEEE Conference on Tools with Al (TAI-93) - Boston, MA, USA (8-11 Nov. 1993)] Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93) - Nogood Recording for static and dynamic constraint satisfaction problems

Schiex, T., Verfaillie, G.

Année:

1993

Langue:

english

Fichier:

PDF, 804 KB

english, 1993

35

[IEEE 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence (ICTAI) - Boca Raton, FL, USA (2011.11.7-2011.11.9)] 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence - Weighted Argumentation Systems: A Tool for Merging Argumentation Systems

Cayrol, C., Lagasquie-Schiex, M.-C.

Année:

2011

Langue:

english

Fichier:

PDF, 188 KB

english, 2011

36

Next-Generation Annotation of Prokaryotic Genomes with EuGene-P: Application to Sinorhizobium meliloti 2011

Sallet, E., Roux, B., Sauviac, L., Jardinaud, M.-F., Carrere, S., Faraut, T., de Carvalho-Niebel, F., Gouzy, J., Gamas, P., Capela, D., Bruand, C., Schiex, T.

Journal:

Année:

2013

Langue:

english

Fichier:

PDF, 388 KB

english, 2013

37

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - From Preferences over Arguments to Preferences over Attacks in Abstract Argumentation: A Comparative Study

Cayrol, Claudette, Lagasquie-Schiex, Marie-Christine

Année:

2013

Langue:

english

Fichier:

PDF, 247 KB

english, 2013

38

Legume genome evolution viewed through the Medicago truncatula and Lotus japonicus genomes

Cannon, S. B., Sterck, L., Rombauts, S., Sato, S., Cheung, F., Gouzy, J., Wang, X., Mudge, J., Vasdewani, J., Schiex, T., Spannagl, M., Monaghan, E., Nicholson, C., Humphray, S. J., Schoof, H., Mayer,

Journal:

Proceedings of the National Academy of Sciences

Année:

2006

Langue:

english

Fichier:

PDF, 860 KB

english, 2006

39

A Fixed Point Semantics for the ATMS

CAYROL, MICHEL, PALMADE, OLIVIER, SCHIEX, THOMAS

Journal:

Journal of Logic and Computation

Année:

1993

Langue:

english

Fichier:

PDF, 662 KB

english, 1993

40

FrameD: a flexible program for quality check and gene prediction in prokaryotic genomes and noisy matured eukaryotic sequences

Journal:

Nucleic Acids Research

Année:

2003

Langue:

english

Fichier:

PDF, 425 KB

english, 2003

41

Searching RNA motifs and their intermolecular contacts with constraint networks

Thebault, P., de Givry, S., Schiex, T., Gaspin, C.

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 505 KB

english, 2006

42

FrameDP: sensitive peptide detection on noisy matured sequences

Gouzy, J., Carrere, S., Schiex, T.

Journal:

Année:

2009

Langue:

english

Fichier:

PDF, 63 KB

english, 2009

43

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - Using a SMT Solver for Risk Analysis: Detecting Logical Mistakes in Texts

Bannay, F., Lagasquie-Schiex, M.C., Raynaut, W., Saint-Dizier, P.

Année:

2014

Langue:

english

Fichier:

PDF, 901 KB

english, 2014

44

CARHTA GENE: multipopulation integrated genetic and radiation hybrid mapping

de Givry, S., Bouchez, M., Chabrier, P., Milan, D., Schiex, T.

Journal:

Année:

2005

Langue:

english

Fichier:

PDF, 79 KB

english, 2005

45

[ACM Press the 2006 ACM symposium - Dijon, France (2006.04.23-2006.04.27)] Proceedings of the 2006 ACM symposium on Applied computing - SAC '06 - A new local consistency for weighted CSP dedicated to long domains

Zytnicki, Matthias, Gaspin, Christine, Schiex, Thomas

Année:

2006

Langue:

english

Fichier:

PDF, 152 KB

english, 2006

46

A comparative genome approach to marker ordering

Faraut, T., de Givry, S., Chabrier, P., Derrien, T., Galibert, F., Hitte, C., Schiex, T.

Journal:

Année:

2007

Langue:

english

Fichier:

PDF, 268 KB

english, 2007

47

[ACM Press the 28th Annual ACM Symposium - Coimbra, Portugal (2013.03.18-2013.03.22)] Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13 - Dynamic virtual arc consistency

Nguyen, Hiep, Schiex, Thomas, Bessiere, Christian

Année:

2013

Langue:

english

Fichier:

PDF, 730 KB

english, 2013

48

NOGOOD RECORDING FOR STATIC AND DYNAMIC CONSTRAINT SATISFACTION PROBLEMS

T. Schiex, G. Verfaillie

Année:

1994

Langue:

english

Fichier:

PDF, 944 KB

english, 1994

49

Guaranteed Discrete Energy Optimization on Large Protein Design Problems

Simoncini, David, Allouche, David, de Givry, Simon, Delmas, Céline, Barbe, Sophie, Schiex, Thomas

Journal:

Journal of Chemical Theory and Computation

Année:

2015

Langue:

english

Fichier:

PDF, 1.79 MB

english, 2015

50

[IEEE 2010 22nd International Conference on Tools with Artificial Intelligence (ICTAI) - Arras, France (2010.10.27-2010.10.29)] 2010 22nd IEEE International Conference on Tools with Artificial Intelligence - Dialectical Proofs Accounting for Strength of Attacks in Argumentation Systems

Cayrol, C., Devred, C., Lagasquie-Schiex, M.-C.

Année:

2010

Langue:

english

Fichier:

PDF, 237 KB

english, 2010